Isaac Newton Institute

#12 Investigating the Wiener-Hopf technique: an interview with Dr Anastasia Kisil

The Shape of Data and Social Justice

Professor Michael Thaddeus | previewing the Rothschild Lecture for the EMG programme

EMG programme: interview with the team of organisers

Dr. Alex Best | Why Reinforcement Learning needs Formal Methods, and Formal Methods need...

EMGW01 | Prof. Jacopo Stoppa | K-stability and infinite dimensional moment maps (Lecture 1)

Professor Martin Ostoja-Starzewski | previewing the 'Uncertainty quantification' Rothschild lecture

Living Proof: Collaborating with the Isaac Newton Institute

Prof. Richard Wilkinson | An introduction to the calibration of computer models

INI participant profile: Professor Wendelin Werner

Dr. Daniel Kious | Random Walk on the symmetric Exclusion process

On Archimedes' Principle

Claudia Sagastizabal previews her Kirk Distinguished Visiting Fellowships lecture

#09 “The beauty of results”: an interview with Professor Svitlana Mayboroda

Dr. Athénaïs Gautier | From scattered samples to fields of distributions: theory and practice

“Meet the… Simons Postdoctoral Fellows” mini series #12 Dr Luke Davis

Prof. Rama Govindarajan | Kirk Lecture: Mammatus clouds and sedimentation instabilities

Dr. Desi Ivanova | Bayesian Experimental Design: Principles and Computation

Prof. Luca Giuggioli | On a collection of techniques to model first-passage processes

Dr. Olivier Bousquet | Informal to formal and back with LLMs

Prof. Dietmar Bisch | Subfactors and quantum symmetries

Accelerating statistical inference and experimental design with machine ...... | Thursday 26th June

Multiple Speakers | Reasoning above ISA specifications, for arbitrary and known code

Dr. Joana Cirici | Equivariant formality of the little disks operad